symbolic logic artinya

• logika simbolik
• logika formal
• logika matematika

• symbolic:    simbolis; melambangkan; simbol; lambang
• logic:    logik; logika; kewajaran; ilmu mantik; masuk
• the symbolic:    tatanan simbolik

Contoh

1. Traditional Aristotelian syllogistic logic and modern symbolic logic are examples of formal logic.
   Logika silogistik tradisional Aristoteles dan logika simbolik modern adalah contoh-contoh dari logika formal.
2. The Association for Symbolic Logic has invited an annual Kurt G?del lecturer each year since 1990.
   Association for Symbolic Logic telah mengundang pembicara khusus tahunan sebagai "Kurt G?del lecturer" sejah tahun 1990.